BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
نویسندگان
چکیده
منابع مشابه
Borel Functors and Infinitary Interpretations
We introduce the notion of infinitary interpretation of structures. In general, an interpretation between structures induces a continuous homomorphism between their automorphism groups, and furthermore, it induces a functor between the categories of copies of each structure. We show that for the case of infinitary interpretation the reversals are also true: Every Baire-measurable homomorphism b...
متن کاملOn Infinitary Rational Relations and Borel Sets
We prove in this paper that there exists some infinitary rational relations which are Σ03-complete Borel sets and some others which are Π03-complete. These results give additional answers to questions of Simonnet [Sim92] and of Lescow and Thomas [Tho90] [LT94].
متن کاملEmerton’s Jacquet Functors for Non-Borel Parabolic Subgroups
This paper studies Emerton’s Jacquet module functor for locally analytic representations of p-adic reductive groups, introduced in [Eme06a]. When P is a parabolic subgroup whose Levi factor M is not commutative, we show that passing to an isotypical subspace for the derived subgroup ofM gives rise to essentially admissible locally analytic representations of the torus Z(M), which have a natural...
متن کاملBorel structures and Borel theories
We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are Borel in the natural sense. We also investigate Borel isomorphisms be...
متن کاملCoinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
We present a coinductive framework for defining and reasoning about the infinitary analogues of equational logic and term rewriting in a uniform way. We define ∞ =, the infinitary extension of a given equational theory =R, and →∞, the standard notion of infinitary rewriting associated to a reduction relation →R, as follows: ∞ = := νR. (=R ∪ R) → := μR. νS. (→R ∪ R) ; S Here μ and ν are the leas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2018
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2017.81